<?php
class Destination extends RecordObject {
	public static function getTableName() {
		return "destination";
	}
}
?>
